Distribution of codewords on the faces of a hypercube and new combinatorial identities
arxiv.org·1d
⚽Sphere Packing
Why Binary Won and Nothing Else Even Got Close
b0a04gl.site·18h·
Discuss: Hacker News
🧲RISC-V Archaeology
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Counting with Categories (Part 3)
golem.ph.utexas.edu·22h
λLambda Formalization
ML in the Home
blog.raymond.burkholder.net·1d
📈Time Series
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·4h·
Discuss: DEV
🧮Kolmogorov Complexity
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
How much slower is random access, really?
samestep.com·1d·
Discuss: Hacker News
📼Tape Encoding
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·15m
📊Graph Databases
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·8h
📝Concrete Syntax
Superimposed codes
blog.sesse.net·3d
💾Binary codes
Optimal Parallel Algorithms for Convex Hulls in 2D and 3D under Noisy Primitive Operations
arxiv.org·1d
📊Computational Geometry
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·6h
⬆️Lambda Lifting
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·18h
💾Persistence Strategies
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
How A Small Class at Caltech Helped Launch a Computer Revolution
caltech.edu·1d·
Discuss: Hacker News
🇩🇪German Computing